Mention compilation-disable-input.

diff --git a/etc/NEWS b/etc/NEWS
index 14414e9bd1b4c09427b500852edfa2b7d6bc4da2..4251a4b509d3b45b69bd6591fc0c223a9880732e 100644 (file)
--- a/etc/NEWS
+++ b/etc/NEWS
@@ -1298,6 +1298,10 @@ This option allows you to specify environment variables for inferior
 compilation processes without affecting the environment that all
 subprocesses inherit.
 
++++
+*** New user option `compilation-disable-input'.
+If this is non-nil, send end-of-file as compilation process input.
+
 +++
 *** New options `next-error-highlight' and `next-error-highlight-no-select'
 specify the method of highlighting of the corresponding source line